Relational calculus - PDFSEARCH.IO - Document Search Engine

Relational calculus
Results: 52

#	Item
11	A Universal Calculus for Stream Processing Languages Robert Soul´e1 , Martin Hirzel2 , Robert Grimm1 , Bu˘gra Gedik2 , Henrique Andrade2 , Vibhore Kumar2 , and Kun-Lung Wu2 1 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-03-22 18:17:38 Models of computation Denotational semantics Logic in computer science Μ operator CQL NDepend Stack Stream Relational algebra Computing Theoretical computer science Software engineering
12	Probabilistic Relational Reasoning for Differential Privacy Gilles Barthe Boris K¨opf Federico Olmedo Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Generalized functions Fourier analysis Data privacy Multivariable calculus Digital signal processing Dirac delta function Distribution Differential privacy Vector space Mathematical analysis Mathematics Algebra
13	On Linear and Quasi-Linear CPU Times for Most Relational Calculus and Data Mining Queries Dan E. Willard University at Albany – SUNY Alternate Title of Talk: “ A 15-minute Summary of 35 Years of Prior Research PLUS A Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-02 11:06:30 Computer science Relational algebra FO Database theory Lambda calculus Expected value Calculus Conjunctive query Theoretical computer science Relational model Applied mathematics
14	Relational Differential Prediction Houssam Nassif1 , V´ıtor Santos Costa2 , Elizabeth S. Burnside1 , and David Page1 1 University of Wisconsin, Madison, USA Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2012-07-21 04:31:35 Cross-validation Machine learning Model selection Data mining Gain Classification rule Lift Differential Statistics Science Differential calculus
15	A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina Torlak Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 NP-complete problems Constraint programming Logic in computer science Propositional calculus Unsatisfiable core Electronic design automation Boolean satisfiability problem Symmetry Satisfiability Theoretical computer science Mathematics Applied mathematics
16	Certain Answers as Objects and Knowledge Leonid Libkin School of Informatics, University of Edinburgh Abstract The standard way of answering queries over incomplete Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-01 15:00:03 Model theory Relational model FO Function Closed world assumption Lambda calculus SQL Interpretation Structure Mathematical logic Mathematics Logic
17	Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-02-19 17:14:13 Model theory Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Primitive recursive function Interpretation Function Mathematical logic Mathematics Logic
18	Using Schema Transformation Pathways for Data Lineage Tracing Hao Fan, Alexandra Poulovassilis School of Computer Science and Information Systems, Birkbeck College, University of London, Malet Street, London WC1E 7HX {ha Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2005-05-25 13:59:38 Data management Relational model Lambda calculus Data transformation SQL Computing Data Data integration
19	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Computability theory Functions and mappings Models of computation Functional languages Lambda calculus Interpretation Function First-order logic Mathematical logic Mathematics Logic
20	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Extended Abstract)? Jasmin Christian Blanchette and Tobias Nipkow Fakult¨at f¨ur Informatik, T. U. M¨unchen, Garching, Ger Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Programming paradigms Formal methods Mathematical proofs Lambda calculus Function Well-formed formula Constructible universe Logic programming Relational model Mathematics Logic Mathematical logic

UPDATE